Sheaves on Involutive Quantaloids

We extend the well-known notions of a singleton, complete -set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on and complete -sets come to the same thing. This paper can be considered as a symmetric version of an earlier work of the author.     

Generalized Variation of Mappings with Applications to Composition Operators and Multifunctions

We study (set-valued) mappings of bounded -variation defined on the compact interval I and taking values in metric or normed linear spaces X. We prove a new structural theorem for these mappings and extend Medvedev's criterion from real valued functions onto mappings with values in a reflexive Banach space, which permits us to establish an explicit integral formula for the -variation of a metric space valued mapping. We show that the linear span GV (I;X) of the set of all mappings of bounded -variation is automatically a Banach algebra provided X is a Banach algebra. If h:I× X Y is a given mapping and the composition operator is defined by (f)(t)=h(t,f(t)), where tI and f:I X, we show that :GV (I;X) GV (I;Y) is Lipschitzian if and only if h(t,x)=h₀(t)+h₁(t)x, tI, xX. This result is further extended to multivalued composition operators with values compact convex sets. We prove that any (not necessarily convex valued) multifunction of bounded -variation with respect to the Hausdorff metric, whose graph is compact, admits regular selections of bounded -variation.     

集值映射的 RS集逼近

本文研究了取值为 Banach空间中子集的上半连续的集值映射的 RS集逼近问题 ,给出了集值映 射用 RS集逼近的特征和唯一性结果 ,从而推广了他人的结果 .     

Random Logistic Maps. I

Let {C _i} ₀ be a sequence of independent and identically distributed random variables with vales in [0, 4]. Let {X _n} ₀ be a sequence of random variables with values in [0, 1] defined recursively by X _n+1=C _n+1 X _n(1–X _n). It is shown here that: (i) E ln C ₁<0X _n0 w.p.1. (ii) E ln C ₁=0X _n0 in probability (iii) E ln C ₁>0, E |ln(4–C ₁)| such that (0, 1)=1 and is invariant for {X _n}. (iv) If there exits an invariant probability measure such that {0}=0, then E ln C ₁>0 and – ln(1–x) (dx)=E ln C ₁. (v) E ln C ₁>0, E |ln(4–C ₁)|< and {X _n} is Harris irreducible implies that the probability distribution of X _n converges in the Cesaro sense to a unique probability distribution on (0, 1) for all X ₀0.     

Existence and uniqueness of rectilinear slit maps

We consider a generalization of the parallel slit uniformization in which the angle of inclination of each image slit is assigned independently. Koebe proved that for domains of finite connectivity there is, up to a normalization, a unique rectilinear slit map achieving any given angle assignment. Koebe's theorem is partially extended to domains of infinite connectivity. A uniqueness result is shown for domains of countable connectivity and arbitrary angle assignments, and an existence result is proved for arbitrary domains under the assumption that the angle assignment is continuous and has finite range. In order to prove the existence result a new extremal length tool, called the crossing-module, is introduced. The crossing-module allows greater freedom in the family of admissible arcs than the classical module. Several results known for the module are extended to the crossing-module. A generalization of Jenkins' module condition for the parallel slit problem is given for the rectilinear slit problem in terms of the crossing-module and it is shown that rectilinear slit maps satisfying this crossing-module condition exist.

     

Syndetically proximal pairs

For continuous self-maps of compact metric spaces, we study the syndetically proximal relation, and in particular we identify certain sufficient conditions for the syndetically proximal cell of each point to be small. We show that any interval map f with positive topological entropy has a syndetically scrambled Cantor set, and an uncountable syndetically scrambled set invariant under some power of f. In the process of proving this, we improve a classical result about interval maps and establish that if f is an interval map with positive topological entropy and m?2, then there is n∈N such that the one-sided full shift on m symbols is topologically conjugate to a subsystem of fn² (the classical result gives only semi-conjugacy).     

Affine Near-Semirings Over Brandt Semigroups

In order to study the structure of A ⁺(B _n )—the affine near-semiring over a Brandt semigroup—this work completely characterizes the Green's classes of its semigroup reducts. In this connection, this work classifies the elements of A ⁺(B _n ) and reports the size of A ⁺(B _n ). Further, idempotents and regular elements of the semigroup reducts of A ⁺(B _n ) have also been characterized and studied some relevant semigroups in A ⁺(B _n ).     

Existence of solutions in variational relation problems without convexity

Two main existence conditions for solutions of variational relation problems are established without convexity. The first one is based on a finite solvability property and the second one on generalized KKM mappings. These conditions unify and strengthen several existing results in the literature on the topic. A model of satisficing process by rejection is considered which gives an economic interpretation of the introduced concepts.     

Full analogy of Sharkovsky's theorem for lower semicontinuous maps

A full analogy of the celebrated Sharkovsky cycle coexistence theorem is established for lower semicontinuous (multivalued) maps on metrizable linear continua. This result is further extended to triangular maps.     

Ascoli-Arzelà type theorem for rational iterations on the complex projective plane

For a dominant algebraically stable rational self-map of the complex projective plane of degree at least 2, we will consider three different definitions of the Fatou set and show the equivalence of them (Ascoli-Arzelà type theorem). As a corollary, it follows that all Fatou components are Stein. This is an improvement of an early result by Fornæss and Sibony.